00100 DEF 00200 D1 00300 NIL 00400 NIL 00500 NIL 00600 P1(V1,V2);P2(V3,V4);; 00700 Q1(V4,V5);; 00800 00900 NIL 01000 NIL 01100 01200 P1(A,B);; 01300 01400 T 01500 ((P1 NIL NIL NIL NIL) 01600 (P2 NIL NIL NIL NIL) 01700 (P3 NIL NIL NIL NIL) 01800 (Q1 NIL NIL NIL NIL)) 01900 02000 NIL